popupMenu: Fix usage of GRAB_NOTIFY ClutterEventFlag

Actually the flag gjs gives us here is called
Clutter.EventFlags.FLAG_GRAB_NOTIFY, so fix that.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2231>

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index f9f3a3b1aa6bc6b7244c8a738641ff492d9d6776..83471030ef6bcf4d78e94ab5f902e290ece48b29 100644 (file)
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -1374,7 +1374,7 @@ var PopupMenuManager = class {
                 return Clutter.EVENT_STOP;
             }
         } else if (event.type() === Clutter.EventType.ENTER &&
-                   (event.get_flags() & Clutter.EventFlags.GRAB_NOTIFY) === 0) {
+                   (event.get_flags() & Clutter.EventFlags.FLAG_GRAB_NOTIFY) === 0) {
             let hoveredMenu = this._findMenuForSource(targetActor);
 
             if (hoveredMenu && hoveredMenu !== menu)